Resource-Bounded Kolmogorov Complexity Revisited

نویسندگان

  • Harry Buhrman
  • Lance Fortnow
چکیده

We take a fresh look at CD complexity, where CD t (x) is the smallest program that distinguishes x from all other strings in time t(jxj). We also look at a CND complexity, a new nondeterministic variant of CD complexity. We show several results relating time-bounded C, CD and CND complexity and their applications to a variety of questions in computational complexity theory including: Showing how to approximate the size of a set using CD complexity avoiding the random string needed by Sipser. Also we give a new simpler proof of Sipser's lemma. A proof of the Valiant-Vazirani lemma directly from Sipser's earlier CD lemma. A relativized lower bound for CND complexity. Exact characterizations of equivalences between C, CD and CND complexity. Showing that a satisfying assignment can be found in output polynomial time if and only if a unique assignment can be found quickly. This answers an open question of Papadimitriou. A new Kolmogorov-based proof that BPP p 2. New Kolmogorov-based constructions of the following relativized worlds: { There exists an innnite set in P with no sparse innnite NP subsets. { EXP = NEXP but there exists a NEXP machine whose accepting paths cannot be found in exponential time. { Satisfying assignment cannot be found with nonadaptive queries to SAT.

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

The pervasive reach of resource-bounded Kolmogorov complexity in computational complexity theory

We continue an investigation into resource-bounded Kolmogorov complexity [ABK06], which highlights the close connections between circuit complexity and Levin’s time-bounded Kolmogorov complexity measure Kt (and other measures with a similar flavor), and also exploits derandomization techniques to provide new insights regarding Kolmogorov complexity. The Kolmogorov measures that have been introd...

متن کامل

NL-printable sets and nondeterministic Kolmogorov complexity

P-printable sets were defined by Hartmanis and Yesha and have been investigated by several researchers. The analogous notion of Lprintable sets was defined by Fortnow et al; both P-printability and L-printability were shown to be related to notions of resource-bounded Kolmogorov complexity. NL-printability was defined by Jenner and Kirsig, but some basic questions regarding this notion were lef...

متن کامل

On Innnite Sequences (almost) as Easy As

It is known that innnite binary sequences of constant Kolmogorov complexity are exactly the recursive ones. Such a kind of statement no longer holds in the presence of resource bounds. Contrary to what intuition might suggest, there are sequences of constant, polynomial-time bounded Kolmogorov complexity that are not polynomial-time computable. This motivates the study of several resource-bound...

متن کامل

Kolmogorov-Loveland Sets and Advice Complexity Classes

Loveland complexity Loveland (1969) is a variant of Kolmogorov complexity, where it is asked to output separately the bits of the desired string, instead of the string itself. Similarly to the resource-bounded Kolmogorov sets we define Loveland sets. We highlight a structural connection between resource-bounded Loveland sets and some advice complexity classes. This structural connection enables...

متن کامل

Resource bounded symmetry of information revisited

The information contained in a string x about a string y is the difference between the Kolmogorov complexity of y and the conditional Kolmogorov complexity of y given x, i.e., I(x : y) = C(y) − C(y |x). The Kolmogorov–Levin Theorem says that I(x : y) is symmetric up to a small additive term. We investigate if this property also holds for several versions of polynomial time bounded Kolmogorov co...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

عنوان ژورنال:
  • SIAM J. Comput.

دوره 31  شماره 

صفحات  -

تاریخ انتشار 1997